A general graphical user interface for automatic reliability modeling

Reported here is a general Graphical User Interface (GUI) for automatic reliability modeling of Processor Memory Switch (PMS) structures using a Markov model. This GUI is based on a hierarchy of windows. One window has graphical editing capabilities for specifying the system's communication structure, hierarchy, reconfiguration capabilities, and requirements. Other windows have field texts, popup menus, and buttons for specifying parameters and selecting actions. An example application of the GUI is given

Automatic specification of reliability models for fault-tolerant computers

The calculation of reliability measures using Markov models is required for life-critical processor-memory-switch structures that have standby redundancy or that are subject to transient or intermittent faults or repair. The task of specifying these models is tedious and prone to human error because of the large number of states and transitions required in any reasonable system. Therefore, model specification is a major analysis bottleneck, and model verification is a major validation problem. The general unfamiliarity of computer architects with Markov modeling techniques further increases the necessity of automating the model specification. Automation requires a general system description language (SDL). For practicality, this SDL should also provide a high level of abstraction and be easy to learn and use. The first attempt to define and implement an SDL with those characteristics is presented. A program named Automated Reliability Modeling (ARM) was constructed as a research vehicle. The ARM program uses a graphical interface as its SDL, and it outputs a Markov reliability model specification formulated for direct use by programs that generate and evaluate the model

Structural robustness assessment of electric machine applications using individual channel analysis and design

Adequate control of three-phase machines, such as induction motors -IMs- and synchronous generators, is of paramount importance for the electric power industry. These are multivariable, non-linear systems. In this paper, the individual channel analysis and design framework is used to formally demonstrate that the electrical subsystems of the IM and of the permanent magnet SG, due to their inherent structural robustness, are the multivariable equivalent to stable, minimum-phase, single-input single-output systems. As a cnsequence, an adequate performance and robustness may be achieved through fixed, stable, minimum-phase, diagonal controllers –justifying the widespread use of control schemes based on fixed, classical linear controllers such as PI

The multivariable structure function as an extension of the RGA matrix: relationship and advantages

It is common practice to specify the performance of control design tasks in terms of an output response to a given input. In spite of a greater complexity, this is also the case for multivariable plants, where for clarity of performance specification and design remains desirable to consider the inputs and outputs in pairs. Regardless of the structure and internal coupling of the plant, it is convenient to establish if decentralized control is capable of meeting design specifications: the control structure will be easy to implement, economic (less programming burden upon implementation), and may provide further physical insight. In line with this, the analysis and design of decentralized controllers using the relative gain array (RGA) and the multivariable structure function (MSF) are presented for the general multivariable case. It is demonstrated that the RGA matrix can be expressed in terms of the MSF. Moreover, it is shown that the correct interpretation of the MSF offers significative advantages over the RGA matrix analysis. While the RGA offers insight about the adequate pairing of input-output signals in a multivariable system, the MSF, besides providing this information, plays a crucial role in the design of stabilizing controllers (and their requirements) and the subsequent robustness and performance assessment of the closed loop control system. Theoretical results are drawn for a general n×n plant, with examples from electrical power systems and laboratory tank processes included to illustrate key concepts

Cerebral venous sinus thrombosis due to vaccine-induced immune thrombotic thrombocytopenia in middle-income countries

Background: Adenovirus-based COVID-19 vaccines are extensively used in low- and middle-income countries (LMICs). Remarkably, cases of cerebral venous sinus thrombosis due to vaccine-induced immune thrombotic thrombocytopenia (CVST-VITT) have rarely been reported from LMICs. Aims: We studied the frequency, manifestations, treatment, and outcomes of CVST-VITT in LMICs. Methods: We report data from an international registry on CVST after COVID-19 vaccination. VITT was classified according to the Pavord criteria. We compared CVST-VITT cases from LMICs to cases from high-income countries (HICs). Results: Until August 2022, 228 CVST cases were reported, of which 63 were from LMICs (all middle-income countries [MICs]: Brazil, China, India, Iran, Mexico, Pakistan, Turkey). Of these 63, 32 (51%) met the VITT criteria, compared to 103 of 165 (62%) from HICs. Only 5 of the 32 (16%) CVST-VITT cases from MICs had definite VITT, mostly because anti-platelet factor 4 antibodies were often not tested. The median age was 26 (interquartile range [IQR] 20–37) versus 47 (IQR 32–58) years, and the proportion of women was 25 of 32 (78%) versus 77 of 103 (75%) in MICs versus HICs, respectively. Patients from MICs were diagnosed later than patients from HICs (1/32 [3%] vs. 65/103 [63%] diagnosed before May 2021). Clinical manifestations, including intracranial hemorrhage, were largely similar as was intravenous immunoglobulin use. In-hospital mortality was lower in MICs (7/31 [23%, 95% confidence interval (CI) 11–40]) than in HICs (44/102 [43%, 95% CI 34–53], p = 0.039). Conclusions: The number of CVST-VITT cases reported from LMICs was small despite the widespread use of adenoviral vaccines. Clinical manifestations and treatment of CVST-VITT cases were largely similar in MICs and HICs, while mortality was lower in patients from MICs.</p

SPASIM: A Spacecraft SImulator

The SPAcecraft SIMulator (SPASIM) simulates the functions and resources of a spacecraft to quickly perform conceptual design (Phase A) trade-off and sensitivity analyses and uncover any operational bottlenecks during any part of the mission. Failure modes and operational contingencies can be evaluated allowing operational planning (what-if scenarios) and optimization for a range of mission scenarios. The payloads and subsystems are simulated, using a hierarchy of graphical models, in terms of how their functions affect resources such as propellant, power, and data. Any of the inputs and outputs of the payloads and subsystems can be plotted during the simulation or stored in a file so they can be used by other programs. Most trade-off analyses, including those that compare current versus advanced technology, can be performed by changing values in the parameter menus. However, when a component is replaced by one with a different functional architecture, its graphical model can also be mo..

ABSTRACT SPASIM: A SPACECRAFT SIMULATOR

The SPAcecraft SIMulator (SPASIM) simulates the functions and resources of a spacecraft to quickly perform conceptual design (Phase A) trade-off and sensitivity analyses and uncover any operational bottlenecks during any part of the mission. Failure modes and operational contingencies can be evaluated allowing operational planning (what-if scenarios) and optimization for a range of mission scenarios. The payloads and subsystems are simulated, using a hierarchy of graphical models, in terms of how their functions affect resources such as propellant, power, and data. Any of the inputs and outputs of the payloads and subsystems can be plotted during the simulation or stored in a file so they can be used by other programs. Most trade-off analyses, including those that compare current versus advanced technology, can be performed by changing values in the parameter menus. However, when a component is replaced by one with a different functional architecture, its graphical model can also be modified or replaced by drawing from a component library. SPASIM has been validated using several spacecraft designs that were at least at the Critical Design Review level. The user and programmer guide, including figures, is available on line as a hypertext document. This is an easy-to-use and expandable tool which is based on MATLAB ® and SIMULINK®. It runs on Silicon Graphics Inc. workstations and personal computers with Windows 95 ™ or NT™

A Functional Simulator of Spacecraft Resources

The SPAcecraft SIMulator (SPASIM) simulates the functions and resources of a spacecraft to quickly perform Phase A trade-off analyses and uncover any operational bottlenecks during any part of the mission. Failure modes and operational contingencies can be evaluated allowing optimization for a range of mission scenarios. The payloads and subsystems are simulated, using a hierarchy of graphical models, in terms of how their functions affect resources such as propellant, power, and data. Any of the inputs and outputs of the payloads and subsystems can be plotted during the simulation. Most trade-off analyses, including those that compare current versus advanced technology, can be performed by changing values in the parameter menus. However, when a component is replaced by one with a different functional architecture, its graphical model can also be modified or replaced by drawing from a component library. SPASIM has been validated using several spacecraft designs which were at least at the Critical Design Review level. The user and programmer guide, including figures, is available on line as a hyper text document. This is an easy-to-use and expand tool which is based on MATLAB and SIMULINK. It runs on SGI workstations and PCs under Windows 95 or NT